Dynamic program analysis

Results: 117



#Item
21Program analysis / Java platform / Computing platforms / Dynamic programming language / Evaluation strategy / JavaScript / Static program analysis / Dynamic program analysis / C / Computing / Software engineering / Cross-platform software

Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech

Add to Reading List

Source URL: people.cs.vt.edu

Language: English - Date: 2013-03-24 21:20:50
22Computer programming / Debuggers / Xdebug / Initialisms / PHP / Static program analysis / Software / Computing / PHP programming language

Static and Dynamic Analysis at . David Sklar - ZendCon 2008

Add to Reading List

Source URL: www.sklar.com

Language: English - Date: 2015-04-14 08:57:13
23Massachusetts Institute of Technology / New England Association of Schools and Colleges / Higher education / Academia / Education in the United States / SATREPS / Association of American Universities / Association of Independent Technological Universities / Association of Public and Land-Grant Universities

Rev.7 Strategic Japan-Singapore Co-operative Research Program “Development of Fundamental Technology for Biodevices Enabling Dynamic Analysis and Control of Cells” 3rd Call for Proposals (Due: June 29th (M

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2015-03-30 00:10:09
24Program analysis / Programming language theory / Setjmp.h / Dynamic programming language / Type system / Eval / Static program analysis / JavaScript / Programming language / Software engineering / Computing / Control flow

V viewpoints DOI:

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2015-04-17 18:22:37
25Program analysis / Type system / Type theory / Function / Objective-C / Mathematical optimization / Closure / Software engineering / Computing / Computer programming

Dynamic Inference of Static Types for Ruby † Jong-hoon (David) An†

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2010-11-10 09:03:55
26Lunar Orbiter Image Recovery Project / Space technology / 70 mm film / Image resolution / Dynamic range / Space Shuttle / Spacecraft / Spaceflight / Lunar Orbiter program

42nd Lunar and Planetary Science Conference[removed]pdf ANALYSIS OF LUNAR ORBITER IMAGES RECOVERED FROM ANALOG TAPE. D. R. Wingo1 and C. J. Byrne2, 1Skycorp Incorporated, P.O. Box 375 Moffett Field, CA, wingod@skyco

Add to Reading List

Source URL: www.lpi.usra.edu

Language: English - Date: 2011-01-04 13:46:32
27Software bug / Code coverage / Software quality / Benchmark / Program analysis / Software engineering / Software testing / Software metrics

PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection∗ Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou and Josep Torrellas Department of Computer Science, University of Illinois at Urb

Add to Reading List

Source URL: iacoma.cs.uiuc.edu

Language: English - Date: 2006-10-02 23:17:37
28Evaluation methods / Impact assessment / Peer-to-peer / Program evaluation / Gang Resistance Education and Training / Professor / Education / Evaluation / Knowledge

Freedom Centre MindOUT! Project Officer WA AIDS Council’s Freedom Centre is looking for a dynamic person experienced in research to work with us in undertaking qualitative data analysis and research on Freedom Centre s

Add to Reading List

Source URL: www.waaids.com

Language: English - Date: 2015-02-16 21:42:38
29Test automation / C / Microsoft Visual Studio / Unit testing / Software bug / Regression testing / Debugging / Dynamic program analysis / Software / Software testing / Parasoft

Parasoft C/C++test is an integrated development testing solution for C and C++. It automates a broad range of software quality practices—including static code analysis, unit testing, code review, coverage analysis, run

Add to Reading List

Source URL: www.parasoft.com

Language: English - Date: 2014-11-22 06:14:02
30Physics / Aimsun / Simulation / LIDAR / Data analysis / Linear regression / Analysis / Transportation forecasting / CrimeStat / Science / Statistics / Traffic simulation

PART 1: ACCOMPLISHMENTS Major Goals There have been no changes to program goals. Major Activities Field Data Based Data Fusion Methodologies to Estimate Dynamic Origin-Destination Demand Matrices from Multiple Sensing T

Add to Reading List

Source URL: www.purdue.edu

Language: English - Date: 2014-07-31 09:21:09
UPDATE